Les jeux d'accessibilité généralisée

RÉSUMÉ.Dans cet article, nous étudions les jeux d’accessibilité généralisée : ce sont des jeux à deux joueurs à somme nulle, pour lesquels l’objectif du premier joueur, Ève, est donné par une conjonction d’objectifs d’accessibilité. Dans un premier temps, nous montrons que le problème de décider si Ève a une stratégie gagnante est PSPACE-complet, mais polynomial en fixant pour paramètre le nombre d’objectifs. De plus, nous montrons que pour les deux joueurs, les stratégies gagnantes nécessitent beaucoup de mémoire : des bornes supérieures et inférieures sont présentées. Dans un second temps, nous nous intéressons à des restrictions de ces jeux pour lesquels nous cherchons des algorithmes efficaces pour décider du gagnant et construire des stratégies gagnantes.